Useful for exploring diverse mathematical algorithms, the open source computer algebra system known as Axiom is released under a modified Berkeley Software Distribution ( BSD) license. 这个称为Axiom的开放源代码计算机代数系统是在修改后的BerkeleySoftwareDistribution(BSD)许可证下发布的,它对于探索不同的数学算法非常有用。
For commutative algebra, algebraic geometry, and singularity theory, the SINGULAR computer algebra system provides a large variety of algorithms in the package kernel as well as shared libraries. 对于交换代数、代数几何和奇点理论,SINGULAR计算机代数系统在软件包内核以及共享库中提供了大量的算法。
Reduce is another general-purpose computer algebra system that was produced in a collaborative way by many scientists. Reduce是另一个通用计算机代数系统,是由许多科学家以协作方式开发完成的。
The Macaulay computer algebra system is useful for polynomial computations with emphasis on Grobner basis calculations. Macaulay计算机代数系统对于多项式计算非常有用,并重点强调Grobner基计算。
The original version ( a computer algebra system) was called DOE Macsyma and led the way for later development of more commonly known applications such as Mathematica. 最初的版本(一个计算机代数系统)名为DOEMacsyma,它开辟了后来开发的更知名的应用程序(例如Mathematica)的道路。
Computations in Commutative Algebra ( CoCoA) is another free computer algebra system for working with very large integers, rational numbers, and polynomials. ComputationsinCommutativeAlgebra(CoCoA)是另一个免费计算机代数系统,用于处理超大型整数、有理数和多项式。
Written in C by George Weigt, the Eigenmath program is a simple, easy-to-use computer algebra system. Eigenmath是由George使用C语言来编写的,是一个简单易用的计算机代数系统。
Yet Another Computer Algebra System ( Yacas) has a beautiful user interface and all the other strengths of open source software. YetAnotherComputerAlgebraSystem(Yacas)具有漂亮的用户界面和开放源代码软件的所有其他强项。
This proprietary, shareware computer algebra system is named for one of the most famous mathematicians who ever lived: Pierre de Fermat. 这个专有共享软件计算机代数系统是为纪念已故最著名数学家之一PierredeFermat而命名的。
The simulation model of wave packets is designed by computer algebra system Mathematica v. 设计了一个波包模型的仿真实验。
Database-based Boolean Algebra System and Its Implementation 基于数据库的逻辑代数系统的研究与实现
With the aid of computer algebra system Maple, the nonlinear algebra equations corresponding to the nonlinear coupled scalar field equations can be successfully solved this way, and eventually many exact solutions to it can be obtained. 用这种办法在计算机代数系统Maple上成功地求解了非线性耦合标量场方程组所对应的非线性代数方程组,最终获得了耦合标量场方程组的众多精确解。
Inductive definition is a method which is used to define some concepts, but what is the inductive definition bas not a strict description yet. In this paper the auther, proceeding from the algebra system, gives a strict definition to the inductive definition. 归纳定义是定义某些概念时常用到的一种定义方法,但是,什么叫做归纳定义并没有严格的说法,本文从代数系统的观点出发,对归纳定义进行了严格的数学定义。
In this paper, by studying the load combination algebra system, its formal definition and translation grammar are presented. 本文通过对荷载组合代数系统的研究,给出了其赋值语句形式化的定义和相应的翻译语法,并且由此设计并实现了一个简单、可行的语法制导翻译程序。
Distributed computation for XML query algebra system XML查询代数系统的分布式计算
Without the partial ordering relation and ordering structure, a conversant algebra system Boolean algebra is analyzed with a new point of view in this paper, which makes most concepts in discrete mathematical being understood more deeply. 在不涉及偏序关系和序结构的前提下,用一种新的观点剖析了一个熟悉的代数系统&布尔代数,加深了离散数学中代数系统的有关概念的理解和认识。
In this paper, we propose that if there is a set of equations which has only one solution there must be the other set of dual equations in multiple-valued modulo algebra system. Their coefficients and solutions have dual relationship. 本文指出在多值模代数系统中任一有唯一解的方程组必伴随另一方程组,它们的系数和解都存在对偶关系。
A Combination of Conditional Evidence and Conditional Believes Based on the Conditional Event Algebra System 基于条件事件代数系统的条件证据组合与条件信任组合
On Applying Research of Computer Algebra System 计算机代数系统应用研究
Discussed the algebra system of the rough set, introduces such concepts as rough-fuzzy subgroup, gives several relations properties; 在粗糙集代数系统中,引入粗糙模糊群的概念,讨论了模糊群与环上的粗糙集特性;
By using computer algebra system Maple, some computer simulation of representative problems of stochastic mathematics was established. 运用计算机代数系统Maple研究了随机数学中若干典型问题的计算机仿真。
Application of computer algebra system Mu math to quantum mechanics 计算机代数系统muMATH在量子力学中的应用
Computer algebra system ( CAS) is a software program that facilitates symbolic mathematics. The study of algorithm for CAS is known as computer algebra. 计算机代数系统(简称CAS)是指符号数学的软件设计,而计算机代数则是指对CAS的算法研究。
Proceed from general conclusion of algebra on the finite field, study this special algebra system of Elliptic Curve on the finite field, Discuss that sets up several theories of the Public Key Cryptosystems and the problems of implementation on it. 从有限域上的代数的一般结论出发,研究有限域上的椭圆曲线这一特殊的代数系统,讨论在其上建立公钥密码体制的若干理论和实现问题。
FI algebra, short for fuzzy implication algebra, is a new algebra system. Fuzzy蕴涵代数,简称FI代数,是一个新的代数系统。
In contrast to pure numerical modeling method, computer algebra system, which is characterized as symbolic calculation, is used as basis. 由于该系统避开了工程中常用的纯数值建模的思路,采用了新的数学工具&以符号运算为特长的计算机代数系统为计算平台,才使得该系统具有强大的逻辑关系推导能力。
Computer Algebra System for Researching the Space Mesh 研究空间啮合的计算机代数系统
This article continues to study the application of rough set theory rough and algebra system-group, rings to combine research. So that rough algebra system is built better perfectly. 本文继续将粗糙集理论与代数系统&群、环理论结合起来进行研究,以此建立比较完善的粗糙代数系统。
Left-symmetric algebra ( LSA) is a complex algebra system arising from the study of differential geometry, Lie groups, and affine manifolds. 左对称代数是在微分几何,李群,仿射流形等研究中提出的一种复杂的代数体系。
Based on the form and properties of coincidence operation, firstly, this dissertation proposes the theory of OR-Coincidence algebra system. 首先,本文以符合运算的形式和性质为基础,提出了或、符合代数系统理论。